From: Keir Fraser <keir.fraser@citrix.com>
Date: Fri, 25 Jul 2008 09:06:53 +0000 (+0100)
Subject: stubdom: avoid re-making mk-headers and thus newlib etc.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14165^2~116
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=ee7be8aa51e43c1ac0212f9f2c30282b1b7b002b;p=xen.git

stubdom: avoid re-making mk-headers and thus newlib etc.

Using a stamp file for mk-headers permits to avoid to re-run newlib
configuration etc.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---

diff --git a/.hgignore b/.hgignore
index 90139f0238..ffcb825599 100644
--- a/.hgignore
+++ b/.hgignore
@@ -91,6 +91,7 @@
 ^stubdom/libxc$
 ^stubdom/lwip-.*$
 ^stubdom/mini-os-.*$
+^stubdom/mk-headers$
 ^stubdom/newlib-.*$
 ^stubdom/pciutils-.*$
 ^stubdom/zlib-.*$
diff --git a/stubdom/Makefile b/stubdom/Makefile
index 4f4240cfd5..9206f28ade 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -154,7 +154,6 @@ lwip: lwip-$(LWIP_VERSION).tar.gz
 .PHONY: $(CROSS_ROOT)
 $(CROSS_ROOT): cross-newlib cross-zlib cross-libpci
 
-.PHONY: mk-headers
 mk-headers:
 	mkdir -p include/xen && \
           ln -sf $(addprefix ../../,$(wildcard $(XEN_ROOT)/xen/include/public/*.h)) include/xen && \
@@ -191,6 +190,7 @@ endif
 	[ ! -h ioemu/config-host.h ] || rm -f ioemu/config-host.h
 	[ ! -h ioemu/config-host.mak ] || rm -f ioemu/config-host.mak
 	$(MAKE) -C $(MINI_OS) links
+	touch mk-headers
 
 TARGETS_MINIOS=$(addprefix mini-os-,$(TARGETS))
 $(TARGETS_MINIOS): mini-os-%:
@@ -328,6 +328,7 @@ crossclean: clean
 	rm -fr $(CROSS_ROOT)
 	rm -fr newlib-build
 	rm -fr zlib-$(ZLIB_VERSION) pciutils-$(LIBPCI_VERSION)
+	rm -f mk-headers
 
 # clean patched sources
 .PHONY: patchclean